Knihy od autora Ana Cavalcanti

Zobrazeno 1 – 13 z 13 výsledků

1. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   Skladem u dodavatele - Odesíláme za 8-11 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2827 Kč

   Koupit
2. 

   Testing Techniques in Software Engineering

   Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
3. 

   Critical Systems: Formal Methods and Automated Verification

   Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Theoretical Aspects of Computing

   Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
5. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1352 Kč

   Koupit
6. 

   Pet chef

   Ana Cavalcanti, Ana Cavalcanti | Independently published, 2023

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   285 Kč

   Koupit
7. 

   The Practice of Formal Methods

   Ana Cavalcanti | Springer Nature Switzerland, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1557 Kč

   Koupit
8. 

   Fundamental Approaches to Software Engineering

   Dirk Beyer, Ana Cavalcanti | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   946 Kč

   Koupit
9. 

   Pet Chef

   Ana Cavalcanti, Ana Cavalcanti | Independently published, 2023

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Portugalština

   Vazba: Brožovaná

   329 Kč

   Koupit
10. 

    FM 2009: Formal Methods

    Ana Cavalcanti, Dennis Dams | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2646 Kč

    Koupit
11. 

    The Practice of Formal Methods

    Ana Cavalcanti | Springer Nature Switzerland, 2024

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1557 Kč

    Koupit
12. 

    Theoretical Aspects of Computing - ICTAC 2006

    Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1182 Kč

    Koupit
13. 

    Formal Methods and Software Engineering

    Karin Breitman, Ana Cavalcanti | Springer, Berlin, 2009

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2357 Kč

    Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více